Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science)
by Behnam Banieqbal, Howard Barringer, Amir Pnueli
ISBN 13: 9783540518037
Format: Paperback (448 pages) Publisher: Springer Published: 11 Oct 1989
Save for later
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog
ISBN 13: 9781447125136
Format: Paperback (528 pages) Publisher: Springer Published: 14 Mar 2012